21![The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin](https://www.pdfsearch.io/img/9b249e40f023970a1a04cd88fb167811.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-08-02 12:35:21
|
---|
22![THE WORLD’S MOST FUEL EFFICIENT VEHICLE DESIGN AND DEVELOPMENT OF J.J. Santin, C.H. Onder, J. Bernard, D. Isler, P. Kobler, F. Kolb, N. Weidmann, L. Guzzella THE WORLD’S MOST FUEL EFFICIENT VEHICLE DESIGN AND DEVELOPMENT OF J.J. Santin, C.H. Onder, J. Bernard, D. Isler, P. Kobler, F. Kolb, N. Weidmann, L. Guzzella](https://www.pdfsearch.io/img/8021d10baa5c0b1c1e410406885f5d0f.jpg) | Add to Reading ListSource URL: www.paccar.ethz.chLanguage: English - Date: 2007-10-12 07:51:18
|
---|
23![TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department](https://www.pdfsearch.io/img/c6696f51e56ffa23963c666731809376.jpg) | Add to Reading ListSource URL: www.traditionsef.comLanguage: English - Date: 2018-08-15 15:49:44
|
---|
24![Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When Verifying computations with state Benjamin Braun, Ariel J. Feldman⋆ , Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin ⋆ University of Pennsylvania Abstract When](https://www.pdfsearch.io/img/9d90c4070b7dddd402bd2cd176f9d10e.jpg) | Add to Reading ListSource URL: www.pepper-project.orgLanguage: English - Date: 2017-11-11 14:59:54
|
---|
25![Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r V.1 . 4 L a s t u p d at e d 1 7 O C T SU B J Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r V.1 . 4 L a s t u p d at e d 1 7 O C T SU B J](https://www.pdfsearch.io/img/791c28876eae472628b3b991674bd289.jpg) | Add to Reading ListSource URL: www.hedera.comLanguage: English - Date: 2018-10-17 22:19:08
|
---|
26![ARTICLE IN PRESS Int. J. Human-Computer Studies–700 Supporting serendipitous integration in mobile computing environments ARTICLE IN PRESS Int. J. Human-Computer Studies–700 Supporting serendipitous integration in mobile computing environments](https://www.pdfsearch.io/img/49c91bc7d4216d1e50f28cc1c01ad578.jpg) | Add to Reading ListSource URL: trevor.smith.nameLanguage: English - Date: 2012-11-23 14:19:46
|
---|
27![Security Bounds for the NIST Codebook-based Deterministic Random Bit Generator Matthew J. Campagna Secure Systems Pitney Bowes Inc. Security Bounds for the NIST Codebook-based Deterministic Random Bit Generator Matthew J. Campagna Secure Systems Pitney Bowes Inc.](https://www.pdfsearch.io/img/7c427e0d7489bf59b0219090bad84c3e.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2006-11-01 07:43:52
|
---|
28![Tradition SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Tradition SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department](https://www.pdfsearch.io/img/5e0ef2861677b46507d033a4a77acebf.jpg) | Add to Reading ListSource URL: www.traditionsef.comLanguage: English - Date: 2018-06-19 16:23:28
|
---|
29![High-Frequency Trading in the U.S. Treasury Market around Macroeconomic News Announcements George J. Jiang Washington State University Ingrid Lo High-Frequency Trading in the U.S. Treasury Market around Macroeconomic News Announcements George J. Jiang Washington State University Ingrid Lo](https://www.pdfsearch.io/img/6e87b46600d791fa0b7a0aa725dd94b6.jpg) | Add to Reading ListSource URL: www.hkimr.orgLanguage: English - Date: 2018-08-16 22:14:26
|
---|
30![An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2](https://www.pdfsearch.io/img/03d32a0a8de414062be03291c69937b2.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|